A Tropical F5 Algorithm
نویسندگان
چکیده
Let K be a field equipped with a valuation. Tropical varieties over K can be defined with a theory of Gröbner bases taking into account the valuation of K. While generalizing the classical theory of Gröbner bases, it is not clear how modern algorithms for computing Gröbner bases can be adapted to the tropical case. Among them, one of the most efficient is the celebrated F5 Algorithm of Faugère. In this article, we prove that, for homogeneous ideals, it can be adapted to the tropical case. We prove termination and correctness. Because of the use of the valuation, the theory of tropical Gröbner bases is promising for stable computations over polynomial rings over a p-adic field. We provide numerical examples to illustrate timecomplexity and p-adic stability of this tropical F5 algorithm.
منابع مشابه
A New Proof for the Correctness of F5 (F5-Like) Algorithm
The famous F5 algorithm for computing Gröbner basis was presented by Faugère in 2002 without complete proofs for its correctness. The current authors have simplified the original F5 algorithm into an F5 algorithm in Buchberger’s style (F5B algorithm), which is equivalent to original F5 algorithm and may deduce some F5-like versions. In this paper, the F5B algorithm is briefly revisited and a ne...
متن کاملThe F5 algorithm in Buchberger's style
The famous F5 algorithm for computing Gröbner basis was presented by Faugère in 2002. The original version of F5 is given in programming codes, so it is a bit difficult to understand. In this paper, the F5 algorithm is simplified as F5B in a Buchberger’s style such that it is easy to understand and implement. In order to describe F5B, we introduce F5-reduction, which keeps the signature of labe...
متن کاملF5—A Steganographic Algorithm High Capacity Despite Better Steganalysis
Many steganographic systems are weak against visual and statistical attacks. Systems without these weaknesses offer only a relatively small capacity for steganographic messages. The newly developed algorithm F5 withstands visual and statistical attacks, yet it still offers a large steganographic capacity. F5 implements matrix encoding to improve the efficiency of embedding. Thus it reduces the ...
متن کاملA New Attempt On The F 5 Criterion 2 Basic
Faugère’s criterion used in the F5 algorithm is still not understand and thus there are not many implementations of this algorithm. We state its proof using syzygies to explain the normalization condition of a polynomial. This gives a new insight in the way the F5 criterion works.
متن کاملF5C: A variant of Faugère's F5 algorithm with reduced Gröbner bases
Faugère's F5 algorithm computes a Gröbner basis incrementally, by computing a sequence of (non-reduced) Gröbner bases. The authors describe a variant of F5, called F5C, that replaces each intermediate Gröbner basis with its reduced Gröbner basis. As a result, F5C considers fewer polynomials and performs substantially fewer polynomial reductions, so that it terminates more quickly. We also provi...
متن کامل